<?php
class document_json extends document {
}
?>